Temporal Equilibrium Logic: A First Approach
نویسندگان
چکیده
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal temporal operators, as those used in Linear Temporal Logic. As a result, we obtain a very expressive formalism that allows nonmonotonic reasoning for temporal domains. To show an example of its utility, we present a translation of a language for reasoning about actions into this formalism.
منابع مشابه
Temporal Answer Set Programming
Answer Set Programming (ASP) has become a popular way for representing different kinds of scenarios from knowledge representation in Artificial Intelligence. Frequently, these scenarios involve a temporal component which must be considered. In ASP, time is usually represented as a variable whose values are defined by an extensional predicate with a finite domain. Dealing with a finite temporal ...
متن کاملIntegrating Temporal Extensions of Answer Set Programming
In this paper we study the relation between the two main extensions of Answer Set Programming with temporal modal operators: Temporal Equilibrium Logic (TEL) and Temporal Answer Sets (TAS). On the one hand, TEL is a complete non-monotonic logic that results from the combination of Linear-time Temporal Logic (LTL) with Equilibrium Logic. On the other hand, TAS is based on a richer modal approach...
متن کاملAn infinitary encoding of temporal equilibrium logic
This paper studies the relation between two recent extensions of propositional Equilibrium Logic, a well-known logical characterisation of Answer Set Programming. In particular, we show how Temporal Equilibrium Logic, which introduces modal operators as those typically handled in Linear-Time Temporal Logic (LTL), can be encoded into Infinitary Equilibrium Logic, a recent formalisation that allo...
متن کاملNumerical Analysis of Stability for Temporal Bright Solitons in a PT-Symmetric NLDC
PT-Symmetry is one of the interesting topics in quantum mechanics and optics. One of the demonstration of PT-Symmetric effects in optics is appeared in the nonlinear directional coupler (NLDC). In the paper we numerically investigate the stability of temporal bright solitons propagate in a PT-Symmetric NLDC by considering gain in bar and loss in cross. By using the analytical solutions of pertu...
متن کاملEffect of Relative Phase on the Stability of Temporal Bright Solitons in a PT- Symmetric NLDC
In this paper we numerically investigate the effect of relative phase on thestability of temporal bright solitons in a Nano PT- Symmetric nonlinear directionalcoupler (NLDC) by considering gain in bar and loss in cross. We also study the effect ofrelative phase on the output perturbed bright solitons energies, in the range of 0 to 180 . By using perturbation theory three eigenfunctions an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007